Process Choreographies in Service-oriented Environments

Service choreographies have been put forward as new viewpoint in service-oriented design. They are especially relevant for business-to-business (B2B) integration and describe the interaction behavior of a set of collaborating services from a global perspective. These global interaction models are then used for generating interface processes for each service which in turn is the starting point for implementing new services or adapt existing ones. This thesis analyzes how well existing choreography languages are suited to cover all choreography design phases and presents a new choreography language, namely Let’s Dance, together with a top-down design method. Reasoning on choreographies is discussed as well as adapting BPMN as notation for choreography modeling. Furthermore, correlation and common patterns thereof are introduced as glue between conversations and process execution. Finally, a prototypical editor and analysis tool for Let’s Dance choreographies is presented.